Fiche membre Retour à l'annuaire
Matthieu PERRIN
ENSEIGNANT-CHERCHEUR
Publications référencées sur HAL
Revues internationales avec comité de lecture (ART_INT)
- [1] D. Frey, A. Mostefaoui, M. Perrin, P. Roman, F. Taiani. Differentiated consistency for worldwide gossips. In IEEE Transactions on Parallel and Distributed Systems ; éd. Institute of Electrical and Electronics Engineers, 2023, vol. 35, num. 11.https://inria.hal.science/hal-03797554v1
- [2] M. Perrin, A. Mostefaoui, G. Bonin, L. Courtillat-Piazza. Extending the Wait-free Hierarchy to Multi-Threaded Systems. In Distributed Computing ; éd. Springer Verlag, 2022, vol. 35.https://hal.science/hal-03819422v1
- [3] D. Imbs, A. Mostéfaoui, M. Perrin, M. Raynal. Set-constrained delivery broadcast: A communication abstraction for read/write implementable distributed objects. In Theoretical Computer Science ; éd. Elsevier, 2021, vol. 886.https://hal.science/hal-03304269v1
- [4] A. Mostefaoui, M. Perrin, M. Raynal, J. Cao. Crash-Tolerant Causal Broadcast in O(n) Messages. In Information Processing Letters ; éd. Elsevier, 2019, vol. 151.https://hal.science/hal-02279523v1
- [5] A. Mostefaoui, M. Perrin, M. Raynal. A Simple Object that Spans the Whole Consensus Hierarchy. In Parallel Processing Letters ; éd. World Scientific Publishing, 2018, vol. 28, num. 02.https://hal.science/hal-02053504v1
- [6] M. Perrin, A. Mostefaoui, M. Raynal. Extending the Causal Consistency Condition to any Object Defined by a Sequential Specification. In Bulletin- European Association for Theoretical Computer Science ; éd. European Association for Theoretical Computer Science; 1999, 2018.https://hal.science/hal-02053316v1
- [7] M. Bertier, M. Perrin, C. Tedeschi. On the Complexity of Concurrent Multiset Rewriting. In International Journal of Foundations of Computer Science ; éd. World Scientific Publishing, 2016, vol. 27, num. 1.https://inria.hal.science/hal-01326849v1
- [8] M. Déprés, A. Mostefaoui, M. Perrin, M. Raynal. Quelles Relations entre Lire/Ecrire et Envoyer/Recevoir dans les Systèmes Asynchrones avec Crashs de Processus ?. In AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, mai 2024, Saint-Briac-sur-Mer, France.https://hal.science/hal-04555445v1
- [9] V. Kowalski, A. Mostefaoui, M. Perrin. Une Implémentation Optimale pour SCD-Broadcast Byzantin. In AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, mai 2024, Saint-Briac-sur-Mer, France.https://hal.science/hal-04567086v2
- [10] M. Perrin, A. Mostéfaoui, G. Bonin. Extension de la Hiérarchie de Herlihy aux Systèmes Multi-threads. In ALGOTEL 2021 — 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, juin 2021, La Rochelle, France.https://hal.science/hal-03205368v1
- [11] V. Enes, C. Baquero, T. Rezende, A. Gotsman, M. Perrin, P. Sutra. State-machine replication for planet-scale systems. In The Fifteenth European Conference on Computer Systems (EuroSys), avril 2020, Heraklion, Grèce.https://hal.science/hal-02941693v1
- [12] M. Perrin, A. Mostefaoui, G. Bonin. Extending the Wait-free Hierarchy to Multi-Threaded Systems. In PODC '20: ACM Symposium on Principles of Distributed Computing, août 2020, Virtual Event Italy, France.https://hal.science/hal-02941703v1
- [13] B. Moreau, P. Serrano-Alvarado, M. Perrin, E. Desmontils. A License-Based Search Engine. In 16th Extended Semantic Web Conference (ESWC2019), juin 2019, Portoroz, Slovénie.https://hal.science/hal-02097027v1
- [14] B. Moreau, P. Serrano-Alvarado, M. Perrin, E. Desmontils. Modelling the Compatibility of Licenses. In 16th Extended Semantic Web Conference (ESWC2019), juin 2019, Portorož, Slovénie.https://hal.science/hal-02069076v1
- [15] G. Bonin, A. Mostefaoui, M. Perrin. Does the operational model capture partition tolerance in distributed systems?. In 15th International Conference on Parallel Computing Technologies, août 2019, Astana, Kazakhstan.https://hal.science/hal-02484661v1
- [16] G. Bonin, A. Mostefaoui, M. Perrin. Brief Announcement: Wait-Free Universality of Consensus in the Infinite Arrival Model. In International Symposium on Distributed Computing (DISC) 2019, octobre 2019, Budapest, Hongrie.https://hal.science/hal-02279627v1
- [17] A. Mostefaoui, M. Perrin, M. Raynal. A New Insight into Local Coin-Based Randomized Consensus. In PRDC 2019 - 24th IEEE Pacific Rim International Symposium on Dependable Computing, décembre 2019, Kyoto, Japon.https://hal.science/hal-02484620v1
- [18] D. Imbs, A. Mostefaoui, M. Perrin, M. Raynal. Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits. In ICDCN '18 - 19th International Conference on Distributed Computing and Networking, janvier 2018, Varanasi, Inde.https://hal.science/hal-02053261v1
- [19] H. Attiya, A. Castañeda, D. Hendler, M. Perrin. Separating Lock-Freedom from Wait-Freedom. In The 37th ACM Symposium on Principles of Distributed Computing, juillet 2018, Egham, Royaume-Uni.https://hal.science/hal-02053248v1
- [20] D. Imbs, A. Mostefaoui, M. Perrin, M. Raynal. Which Broadcast Abstraction Captures k-Set Agreement?. In 31st International Symposium on Distributed Computing (DISC 2017), octobre 2017, Vienna, Autriche.In Andréa W. Richa (éds.), . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://hal.science/hal-01787801v1
- [21] M. Perrin, A. Mostefaoui, C. Jard. Causal Consistency: Beyond Memory. In 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, mars 2016, Barcelone, Espagne.https://hal.science/hal-01286755v1
- [22] D. Frey, A. Mostefaoui, M. Perrin, P. Roman, F. Taïani. Speed for the elite, consistency for the masses: differentiating eventual consistency in large-scale distributed systems. In Proceedings of the 2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS 2016), septembre 2016, Budapest, Hongrie.https://inria.hal.science/hal-01344138v1
- [23] M. Perrin, M. Petrolia, A. Mostefaoui, C. Jard. On Composition and Implementation of Sequential Consistency. In 30th International Symposium on Distributed Computing, septembre 2016, Paris, France.https://hal.science/hal-01347069v2
- [24] M. Perrin, C. Jard, A. Mostefaoui. Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC. In NETYS - 3rd International Conference on NETwork sYStems, mai 2015, Agadir, Maroc.https://hal.science/hal-01152761v1
- [25] M. Perrin, A. Mostefaoui, C. Jard. Update Consistency for Wait-free Concurrent Objects. In IPDPS - IEEE International Parallel & Distributed Processing Symposium, mai 2015, Hyderabad, Inde.In IEEE (éds.), . , 2015.https://hal.science/hal-01101657v1
- [26] M. Perrin, A. Mostefaoui, C. Jard. Brief Announcement: Update Consistency in Partitionable Systems. In DISC14 - 28th International Symposium on Distributed Computing, octobre 2014, Austin, états-Unis.https://hal.science/hal-01079112v1
- [27] B. Moreau, P. Serrano-Alvarado, M. Perrin, E. Desmontils. Modéliser la Compatibilité Entre les Licences. In 31es Journées francophones d'Ingénierie des Connaissances (IC), juin 2020, Angers, France.https://hal.science/hal-02877913v1
- [28] A. Grall, H. Skaf-Molli, P. Molli, M. Perrin. Collaborative SPARQL Query Processing for Decentralized Semantic Data. In Database and Expert Systems Applications - 31st International Conference, {DEXA} 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings, Part {I}. 14-09-2020 https://hal.science/hal-03154375v1
- [29] M. Perrin. Distributed Systems. 21-03-2017 https://hal.science/hal-02484588v1
- [30] M. Perrin. Concurrence et cohérence dans les systèmes répartis. 01-09-2017 https://hal.science/hal-02484598v1
- [31] M. Perrin. Spécification des objets partagés dans les systèmes répartis sans-attente. Thèses : Université de Nantes (Unam). https://theses.hal.science/tel-01390700v1
- [32] A. Mostefaoui, M. Perrin, J. Weibel. Randomized Consensus: Common Coins Are not the Holy Grail!. Rapport technique, 2024 ; LS2N-Nantes Université.https://hal.science/hal-04571212v1
- [33] D. Imbs, A. Mostefaoui, M. Perrin, M. Raynal. Another Look at the Implementation of Read/write Registers in Crash-prone Asynchronous Message-Passing Systems (Extended Version). Rapport technique, 2017 ; IRISA, Inria Rennes, LS2N-University of Nantes, Technion - Israel Institute of Technology.https://hal.science/hal-01476201v1
- [34] D. Imbs, A. Mostefaoui, M. Perrin, M. Raynal. Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits. Rapport technique, 2017 ; LIF, Université Aix-Marseille, LINA-University of Nantes, IMDEA Software InstituteInstitut Universitaire de FranceIRISA, Université de Rennes.https://hal.science/hal-01540010v1
- [35] D. Frey, A. Mostefaoui, M. Perrin, A. Kermarrec, C. Maddock, A. Mauthe, P. Roman, F. Taïani. D.1.3 – Protocols for emergent localities. Rapport technique, 2016 ; IRISA, LINA-University of Nantes, Inria Rennes Bretagne AtlantiqueLancaster University.https://hal.science/hal-01343348v1
- [36] M. Perrin, C. Jard, A. Mostefaoui. Proof of the Instrumented Semantics for Orc. Rapport technique, 2015 ; LINA-University of Nantes.https://hal.science/hal-01101340v2
- [37] D. Frey, A. Mostefaoui, M. Perrin, F. Taïani. D.1.1 – Survey on Weak Consistency Approaches for Large-Scale Systems. Rapport technique, 2015 ; LINA-University of Nantes, IRISA, .https://hal.science/hal-01174203v1
- [38] D. Frey, R. Friedman, A. Mostefaoui, M. Perrin, M. Raynal, F. Taïani. D.1.2 – Modular quasi-causal data structures. Rapport technique, 2015 ; LINA-University of Nantes, IRISA, .https://hal.science/hal-01223119v1
- [39] M. Perrin, M. Petrolia, A. Mostefaoui, C. Jard. Consistent Shared Data Types: Beyond Memory. Rapport technique, 2014 ; Université de Nantes.https://hal.science/hal-01052437v1
- [40] M. Bertier, M. Perrin, C. Tedeschi. On the Complexity of Concurrent Multiset Rewriting. Rapport technique, 2013 ; INRIA.https://inria.hal.science/hal-00912554v1
- [41] P. Matthieu. Compression de séquences d'A.D.N. à base de grammaires minimales. Rapport technique, 2010 ; .https://inria.hal.science/inria-00536655v1